School of Computer Science - PDFSEARCH.IO - Document Search Engine

School of Computer Science
Results: 3584

#	Item
391	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
392	Human Data Interaction: Historical Lessons from Social Studies and CSCW Andy Crabtree School of Computer Science, University of Nottingham, UK. Add to Reading List Source URL: mor1.github.io Language: English - Date: 2016-01-14 10:42:37 Data management Computing Information technology Information science Big data Data analysis Personal Inc. Computer-supported cooperative work Data Internet of things
393	Vocabulary Alignment for archaeological Knowledge Organization Systems 14th Workshop on Networked Knowledge Organization Systems TPDL 2015 Poznan Lena-Luise Stahn Add to Reading List Source URL: at-web1.comp.glam.ac.uk Language: English - Date: 2015-09-18 09:54:28 Semantic Web Computing Knowledge representation Information science Information School of Computer Science University of Manchester World Wide Web Simple Knowledge Organization System Resource Description Framework Web Ontology Language Thesaurus Web resource
394	Collaborative Security Code-Review Towards Aiding Developers Ensure Software-Security Hala Assal∗, Jeff Wilson, Sonia Chiasson, and Robert Biddle School of Computer Science Carleton University Ottawa, Canada Add to Reading List Source URL: cups.cs.cmu.edu Language: English - Date: 2015-07-03 02:38:45 Software engineering Software Quality management Software testing Software review Quality assurance Hacking Vulnerability Code review Coverity Static program analysis FindBugs
395	SCHOOL OF INFORMATICS AND COMPUTING INFORMATION SCIENCE(MIS and MIS/MLS–2015 Add to Reading List Source URL: www.soic.indiana.edu Language: English - Date: 2016-02-19 14:14:38 Artificial intelligence Cognitive science Computer science education Informatics Information science Academic degree Cognition Science
396	University of St Andrews School of Computer Science Timespan - Museum Without Walls Mobile Application Mujtaba Mehdi Add to Reading List Source URL: info.cs.st-andrews.ac.uk Language: English - Date: 2016-08-19 08:58:23 Software Computer architecture Computing Smartphones Mobile operating systems Android Alphabet Inc. Mobile app Google Play IOS Tablet computer
397	SCHOOL OF INFORMATICS AND COMPUTING 2016–17 Add to Reading List Source URL: www.soic.indiana.edu Language: English - Date: 2016-06-02 12:47:36 Education Artificial intelligence Cognitive science Computer science education Informatics Information science Cognition Internship
398	The Misuse of The Vuong Test For Non-Nested Models to Test for Zero-Inflation Paul Wilson1 1 School of Mathematics and Computer Science, University of Wolverhampton, Add to Reading List Source URL: cybermetrics.wlv.ac.uk Language: English - Date: 2014-07-23 09:51:28 Statistics Statistical tests Probability distributions Statistical theory Poisson processes Infinitely divisible probability distributions Likelihood-ratio test Zero-inflated model Poisson distribution Statistical model Normal distribution Score test
399	Summer and Winter School Bursaries Guidelines If you are a PhD student working in Scotland and you would like to attend a summer school relevant to one of the SICSA research themes, SICSA may be able to provide you with Add to Reading List Source URL: www.sicsa.ac.uk Language: English - Date: 2014-08-12 12:34:53 Scottish Informatics and Computer Science Alliance Education in the United Kingdom Doctor of Philosophy Email University of Glasgow

UPDATE